/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.model.formula;

/**
 *
 * @author simon
 */
public class Tag {

    public final static int
            AND = 1,
            OR = 2,
            NEXT = 3,
            UNTIL = 4,
            ALWAYS = 5,
            EVENTUALLY = 6,
            NOT = 7,
            IMPLIES = 8,
            EQUIVALENCE = 9,
            PROPOSITION = 10,
            OPEN_PARENTHESE = 11,
            CLOSE_PARENTHESE = 12,
            TRUE = 13,
            FALSE = 14,
            END = 15,
            ASSIGN = 16,
            NOTEQUAL = 17, //!=
            PLUS = 18,
            MINUS = 19,
            MUL = 20,
            DIVIDE = 21,
            MINUS_UNARY = 22,
            INTEGER = 23,
            EQUALITYOPERATOR = 24,
            LT = 25,
            GT = 26,
            LE = 27,
            GE = 28,
            EQUAL = 29,
            NEXT_TRANSITION = 30,

            //Action tag
            STRING = 100,
            CNF_STRING = 101,
            EQUALSFORMULA = 102;
    
    public final static String 
            S_AND = "&",
            S_OR ="||" ,
            S_NEXT = "X",
            S_UNTIL = "U",
            S_ALWAYS = "G",
            S_EVENTUALLY = "F",
            S_NOT = "~",
            S_IMPLIES = "->",
            S_EQUIVALENCE = "<->",
            S_TRUE = "TRUE",
            S_FALSE = "FALSE",
            S_END = "$",
            S_ASSIGN = "=",
            S_NOTEQUAL = "!=", //!=
            S_PLUS = "+",
            S_MINUS = "-",
            S_MUL = "*",
            S_DIVIDE = "/",
            S_MINUS_UNARY = "-u",
            S_LT = "<",
            S_GT = ">",
            S_LE = "<=",
            S_GE = ">=",
            S_EQUAL = "==",
            S_NEXT_TRANSITION = "next",
            S_OPEN_PARENTHESE = "(",
            S_CLOSE_PARENTHESE = ")";

}
